Putting Opacity in its Place
نویسندگان
چکیده
We clarify the relationships between Guerraoui and Kapalka’s opacity correctness condition for Transactional Memory (TM) algorithms and the TMS1 and TMS2 conditions we have previously proposed. Using formal, machine checked simulation proofs constructed using the PVS theorem proving system, we have shown that all algorithms that satisfy opacity also satisfy TMS1, and that all algorithms that satisfy TMS2 also satisfy opacity.
منابع مشابه
A review on the place of Khadab in the history of Iranian civilization and its role in Iranian medicine
Khadab is one of the most important solutions used to beautify and strengthen hair, and Khadab has been used for a long time throughout history. Moreover, putting Khadab has been a long- lasting tradition in the course of history. Also, Iranian medical sources pointed out to the herbs used in Khadab and its role in human health. In this regard, the present study examines Khadab and its place in...
متن کاملThe Opacity of Glass Rethinking Transparency in Contemporary Architecture
In this paper, an exchange of letters between the philosopher Jacques Derrida and architect Peter Eisenman is used as a catalyst to discuss the material qualities of glass and its relationship with the concept of transparency in architecture. In his criticism of an architecture devoid of human qualities, Derrida uses glass, defined through Walter Benjamin’s writings, as a hard and cold material...
متن کاملPutting Skeptics in Their Place vs. Stopping Them in Their Tracks: Two Anti-skeptical Strategies 0. Introduction: Putting Skeptics in Their Place vs. Stopping Them in Their Tracks
For reasons that I hope will soon become clear, I would like to begin this paper with somewhat irresponsibly entertaining the idea that my esteemed friend and colleague, John Greco, is a philosophical descendant of John Buridan, via the Scottish common sense philosopher Thomas Reid and his Cambridge-descendant, G. E. Moore. In these musings, I will confine myself to establishing a sufficiently ...
متن کاملOpaque Information, Deviation from Target Leverage and Speed of Adjustment
Information opacity leads to information asymmetry. In this situation, in providing their own financial needs, firms face limitations and inevitably provide their financial needs from the debt market by signalling private information to it. In addition, information opacity affects the leverage adjustment speed. This research investigates the effect of information opacity on deviation from targe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012